Parallel Coset Enumeration Using Threads
نویسندگان
چکیده
Coset enumeration is one of the basic tools for investigating nitely presented groups. Many enumerations require signiicant resources, in terms of CPU time or memory space. We develop a fully functional parallel coset enumeration procedure and we discuss some of the issues involved in such parallelisation using the POSIX threads library. Our results can equally well be applied to any master-slave parallel activity exhibiting a medium level of granularity.
منابع مشابه
On doing Todd-Coxeter enumeration in parallel*
Akl, S., G. Laborite, M. Leeder and K. Qiu, On doing Todd-Coxeter coset enumeration in parallel, Discrete Applied Mathematics 34 (1991) 27-35. The Todd-Coxeter coset enumeration method is without any doubt the best known and most used method in computational group theory. Surprisingly, however, it seems that no attempt has yet been made at producing a parallel version of it. This paper reports ...
متن کاملPract ica l parallel coset enumerat ion
Coset enumeration is a most important procedure for investigating finitely presented groups. We present a practical parallel procedure for coset enumeration on shared memory processors. The shared memory architecture is particularly interesting because such parallel computation is both faster and cheaper. The lower cost comes when the program requires large amounts of memory, and additional CPU...
متن کاملCoset Enumeration of Symmetrically Generated Groups Using Gröbner Bases
A new method for coset enumeration in symmetrically generated groups is presented. This method is based on a Gröbner bases algorithm applied to polynomials in non-commuting variables with integer coefficients. Mathematics Subject Classification: 05A05; 20B05; 20B40
متن کاملEnumeration of Double Cosets
Let H and K be subgroups of a group G. The double cosets of H and K in G are the sets HgK, g E G. In this paper we describe a procedure, P, for determining the cardinality of the set H\G/K of double cosets of H and K in G given a finite presentation for G and finite sets of generators for H and K. It is well known that the problem of determining whether or not a group G defined by a finite pres...
متن کاملExperiments in Coset Enumeration
Coset enumeration, based on the methods described by Todd and Coxeter, is one of the most important tools for investigating nitely presented groups. Such methods do not, in general, constitute an algorithm. Each problem has to be addressed individually, and determining whether or not an acceptable solution for a diicult problem can be found using given resources requires an empirical approach (...
متن کامل